home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / util / source.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  616 b   |  20 lines
  1. (* source.sig *)
  2.  
  3. signature SOURCE =
  4. sig
  5.     type charpos (* = int *)
  6.     type region (* = charpos * charpos *)
  7.     type inputSource (* = {fileName: string,
  8.                    linePos: int list ref,
  9.                lineNum: int ref,
  10.                interactive: bool,
  11.                sourceStream: instream, 
  12.                anyErrors: bool ref,
  13.                errConsumer: PrettyPrint.ppconsumer,
  14.                indexStream: outstream option} *)
  15.     val newSource: string * int * instream * bool * PrettyPrint.ppconsumer
  16.                * outstream option 
  17.            -> inputSource
  18.     val closeSource: inputSource -> unit
  19.     val filepos: inputSource -> charpos -> string * int * int
  20. end